p () = fst (m ())
q () = snd (m ())